PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| hpl-specs | 1.4.0 | High-level Property Specification Language | 2023-11-20 10:44:14 |
| hpl-rv | 1.2.0 | Tools to enable Runtime Verification from HPL properties | 2023-11-06 15:29:52 |
| bake-a-py | 1.0.0 | Variability analysis tool for ROS systems | 2023-09-05 09:07:05 |
| hpl-rv-ros | 1.1.0 | Runtime Verification tools for ROS systems | 2023-09-05 08:32:41 |
André Santos
| hour | day | week | total |
|---|---|---|---|
| 38 | 777 | 5736 | 289133 |